2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Optimizing A Lexical Approach to Instructed Second Language Acquisition
Frank Boers
,
Seth Lindstromberg
1.28 Mb
#2
Cognitive Linguistic Approaches to Teaching Vocabulary and Phraseology (Applications of Cognitive Linguistics)
Boers
,
Frank
Категория:
Математика
,
Прикладная математика
3.88 Mb
#3
Verification of Sequential and Concurrent Programs (3rd edition) (Texts in Computer Science)
Krzysztof R. Apt
,
Frank S. de Boer
,
Ernst-Rüdiger Olderog
Категория:
Компьютеры
2.53 Mb
#4
Formal Methods for Components and Objects
Frank S. de Boer
,
Marcello M. Bonsangue
,
Stefan Hallerstede
,
Michael Leuschel
Категория:
Математика
,
Прикладная математика
4.09 Mb
#5
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected ... Programming and Software Engineering)
Frank S. de Boer
,
Marcello M. Bonsangue
,
Stefan Hallerstede
,
Michael Leuschel
4.20 Mb
#6
Physics of magnetism and magnetic materials
K. H. J. Buschow
,
Frank R. Boer
6.44 Mb
#7
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science)
Frank S. de Boer
,
Marcello M. Bonsangue
,
Susanne Graf
,
Willem-Paul de Roever
9.52 Mb
#8
Formal Methods for Components and Objects - FMCO 2010
Bernhard K. Aichernig
,
Frank S. de Boer
,
Marcello M. Bonsangue
6.30 Mb
#9
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey ... Programming and Software Engineering)
Frank S. de Boer
,
Marcello M. Bonsangue
,
Eric Madelaine
5.55 Mb
#10
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007, Revised Lectures
Frank S. de Boer
,
Marcello M. Bonsangue
,
Susanne Graf
,
Willem-Paul de Roever
7.96 Mb
#11
Formal methods for components and objects : 6th international symposium : revised papers
Frank S de Boer; et al
Категория:
Cs_Computer science
,
CsLn_Lecture notes
4.93 Mb
#12
Formal methods for components and objects : 8th international symposium, FMCO 2009, Eindhoven, the Netherlands, November 4-6, 2009 : revised selected papers
Frank S de Boer; et al
Категория:
Cs_Computer science
,
CsLn_Lecture notes
4.31 Mb
#13
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
frank s. de (editor) ; bonsangue
,
marcello (editor) ; graf
,
susanne (editor) boer
Категория:
Компьютеры
3.87 Mb
#14
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures ... / Programming and Software Engineering)
Frank S. de Boer
,
Marcello M. Bonsangue
,
Susanne Graf
,
Willem-Paul de Roever
Категория:
Компьютеры
3.81 Mb
#15
Formal Methods for Components and Objects, 4 conf., FMCO 2005
Frank S. de Boer
,
Marcello M. Bonsangue
,
Susanne Graf
,
Willem-Paul de Roever
Категория:
Cs_Computer science
,
CsLn_Lecture notes
3.85 Mb
#16
Formal Methods for Components and Objects, 2 conf., FMCO 2003
Frank S. de Boer
,
Marcello M. Bonsangue
,
Susanne Graf
Категория:
CsLn_
7.29 Mb
#17
Formal Methods for Components and Objects, 5 conf., FMCO 2006
Frank S. de Boer
,
Marcello M. Bonsangue
,
Susanne Graf
,
Willem-Paul de Roever
Категория:
CsLn_
3.18 Mb
#18
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Frank S.de Boer
,
Marcello Bonsangue
,
Susanne Graf
,
Willem-Paul de Roever
4.59 Mb
#19
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Frank S. de Boer
,
Marcello M. Bonsangue
,
Susanne Graf
,
Willem-Paul de Roever
3.47 Mb
#20
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Gilles Barthe
,
Frank S. de Boer
2.74 Mb